Structural subtyping and the notion of power type